Back تدوين زد Arabic Z-Notation German Z notation English Lenguaje Z Spanish نشانهگذاری Z Persian Notation Z French Notazione Z Italian Z言語 Japanese Z notacija Lithuanian Z notation Portuguese
 | Tolong bantu menterjemahkan sebahagian rencana ini. Rencana ini memerlukan kemaskini dalam Bahasa Melayu piawai Dewan Bahasa dan Pustaka. Sila membantu, bahan-bahan boleh didapati di Tatatanda Z (Inggeris). Jika anda ingin menilai rencana ini, anda mungkin mahu menyemak di terjemahan Google. Walau bagaimanapun, jangan menambah terjemahan automatik kepada rencana, kerana ini biasanya mempunyai kualiti yang sangat teruk. Sumber-sumber bantuan: Pusat Rujukan Persuratan Melayu. |
Bahasa pengaturcaraan notasi Z (disebut umumnya zed, dinamakan sempena teori set Zermelo-Fränkel) ialah bahasa spesifikasi rasmi yang digunakan bagi mengambar dan memodelkan atur cara komputer. Ia disasarkan bagi spesifikasi jelas atur cara komputer dan pembentukan bukti mengenai tabiat atur cara berkenaan.
Z pada asalnya dicadangkan oleh Jean-Raymond Abrial pada tahun 1977 dengan bantuan Steve Schuman dan Bertrand Meyer .[1] Ia dimajukan dengan lebih lanjut oleh Programming Research Group di Universiti Oxford, di mana Abrial bertugas pada awal lapan puluhan.
Sungguhpun notasi Z menggunakan banyak simbol bukan ASCII, spesifikasi termasuk cadangan menukar simbol notasi Z kepada ASCII dan pada LaTeX.
Sumber berguna bagi pengguna baru yang berminat mempelajari Z ialah The Z Notation: a reference manual.
Notasi Z digunakan pada projek CICS IBM.
- ^ Jean-Raymond Abrial, Stephen A. Schuman and Bertrand Meyer: A Specification Language, dalam On the Construction of Programs, Cambridge University Press, eds. R. McNaughten and R.C. McKeag, 1980 (mengambarkan versi awal bahasa pengaturcaraan tersebut). ISBN 0-521-23090-X